Step by Step to Histories
نویسندگان
چکیده
The behavior of reactive systems is typically specified by state machines. This results in an operational description of how a system produces its output. An alternative and more abstract approach is to just specify the relation between the input and output histories of a system. In this work, we propose a way to combine state-based and history-based specifications: Abstract communication history properties of system components can be derived from temporal logic properties of state machines. The history properties can then be used to deduce global properties of a complete system.
منابع مشابه
Variations in force-time histories of cat gastrocnemius, soleus and plantaris muscles for consecutive walking steps.
Force-sharing among muscles during locomotion has been studied experimentally using 'representative' or 'average' step cycles. Mathematical approaches aimed at predicting individual muscle forces during locomotion are based on the assumption that force-sharing among muscles occurs in a consistent and unique way. In this study, we quantify normal variations in muscular force-time histories for s...
متن کاملEffect of Temperature Changes on Dynamic Pull-in Phenomenon in a Functionally Graded Capacitive Micro-beam
In this paper, dynamic behavior of a functionally graded cantilever micro-beam and its pull-in instability, subjected to simultaneous effects of a thermal moment and nonlinear electrostatic pressure, has been studied. It has been assumed that the top surface is made of pure metal and the bottom surface from a metal–ceramic mixture. The ceramic constituent percent of the bottom surface ranges fr...
متن کاملAdaptive Line Enhancement Using a Parallel IIR Filter with A Step-By-step Algorithm
A step-by-step algorithm for enhancement of periodic signals that are highly corrupted by additive uncorrelated white gausian noise is proposed. In each adaptation step a new parallel second-order section is added to the previous filters. Every section has only one adjustable parameter, i.e., the center frequency of the self-tuning filter. The bandwidth and the convergence factor of each secti...
متن کاملDimensional accuracy of three impression materials by one-step and two-step impression techniques: An in vitro study
Introduction: An accurate impression is essential to create a well-fitted dental prosthesis. This study aimed to compare the dimensional accuracy of three elastomeric materials using one-step and two-step impression techniques. Methods: In this study, 20 impressions were fabricated for each Vinyl siloxane ether (Identium), condensation silicone (Speedex), and a...
متن کاملComparison of Multi-Step Phase-Feeding Programs (Eight or Thirteen Steps) with a Commercial Three-Step Feeding Program for Broiler Chickens
Two trials were conducted to study the effect of multi-steps phase-feeding (PF) program on growth performance of broiler chickens from 1 to 24 and 1 to 39 d of age. The control group was the nutrient recommendation of Aviagen (2019) with a three-step PF program (1-10, 11-24 and 25-39 d of age). In the first trial, the control group was compared with an eight-step PF program (PF8), and in the se...
متن کاملتأثیر هشت هفته تمرین هوازی و رژیم غذایی کاهش وزن بر سطح فولیستاتین سرم زنان غیرفعال میانسال
Introduction: Follistatin can prohibit adipocyte hypertrophy through its role in regulating the synthesis of adipose tissue. Therefore, the aim of this study was to investigate the impact of aerobic exercises and weight-loss diet on serum follistatin level in inactive middle-aged women. Methods: 39 women with an average age of 39.43±3.6 were randomly divided into four experimental groups inclu...
متن کامل